extern unsigned int var_19;
extern int var_20;
extern unsigned int var_21;
extern unsigned char var_22;
extern signed char var_23;
extern int var_24;
extern short var_25;
extern unsigned int var_26;
extern int var_27;
extern unsigned char var_28;
extern _Bool var_29;
extern int var_30;
extern __thread signed char var_31;
extern signed char var_32;
extern long long int var_33;
extern long long int var_34;
extern __thread short var_35;
extern long long int var_36;
extern unsigned char var_37;
extern long long int var_38;
extern int var_39;
extern signed char var_40;
extern long long int var_41;
extern unsigned long long int var_42;
extern unsigned long long int var_43;
extern __thread _Bool var_44;
extern unsigned int var_45;
extern _Bool var_46;
extern _Bool var_47;
extern signed char var_48;
extern unsigned char arr_7 [20] [19] ;
extern unsigned char arr_14 [20] [19] [25] [21] [17] ;
extern unsigned short arr_15 [20] [19] [25] [21] [17] ;
extern unsigned int arr_16 [20] [19] ;
extern int arr_17 [20] [19] ;
extern unsigned int arr_35 [18] [16] [24] [22] [19] ;
extern unsigned int arr_36 [18] [16] [24] [22] [19] ;
extern signed char arr_37 [18] [16] ;
extern unsigned char arr_38 [18] [16] ;
extern short arr_39 [18] [16] ;
extern long long int arr_40 [18] [16] ;
extern short arr_48 [18] [12] ;
extern _Bool arr_49 [18] [12] ;
extern long long int arr_62 [23] [19] [21] [23] ;
extern short arr_63 [23] [19] [21] [23] ;
extern unsigned int arr_64 [23] [19] ;
extern short arr_72 [15] [12] [10] ;
extern long long int arr_77 [15] [12] [10] [19] [16] ;
extern signed char arr_78 [15] [12] [10] [19] [16] ;
extern int arr_79 [15] [12] [10] [19] [16] ;
extern unsigned short arr_90 [23] [14] [19] [21] ;
extern unsigned int arr_91 [23] [14] [19] [21] ;
extern int arr_92 [23] [14] [19] [21] ;
extern _Bool arr_93 [23] [14] [19] [21] ;
extern unsigned char arr_94 [23] [14] ;
